In C, a string is just a buffer of characters, normally using the null
character as a sentinel for the end of the string. This means
that the developer has to be aware of low-level details such as buffer sizes or having an extra character to store the final null
character. Doing that correctly and consistently is notoriously difficult and any error can lead to a security vulnerability, for instance, giving
access to sensitive data or allowing arbitrary code execution.
The function char *strncat( char *restrict dest, const char *restrict src, size_t count );
appends the characters of string
src
at the end of dest
, but only add count
characters max. dest
will always be
null
-terminated. The wcsncat
does the same for wide characters, and should be used with the same guidelines.
Ask Yourself Whether
- There is a possibility that either the
src
or the dest
pointer is null
- The current string length of
dest
plus the current string length of src
plus 1 (for the final null
character) is larger than the size of the buffer pointer-to by src
- There is a possibility that either string is not correctly
null
-terminated
There is a risk if you answered yes to any of those questions.
Recommended Secure Coding Practices
- C11 provides, in its annex K, the
strncat_s
and the wcsncat_s
that were designed as safer alternatives to
strncat
and wcsncat
. It’s not recommended to use them in all circumstances because they introduce a runtime overhead and
require to write more code for error handling, but they perform checks that will limit the consequences of calling the function with bad arguments.
- Even if your compiler does not exactly support annex K, you probably have access to similar functions
- If you are using
strncat
and wsncat
as a safer version of strcat
and wcscat
, you should
instead consider strcat_s
and wcscat_s
because these functions have several shortcomings:
- It’s not easy to detect truncation
- The
count
parameter is error-prone
- Computing the
count
parameter typically requires computing the string length of dest
, at which point other
simpler alternatives exist
Sensitive Code Example
int f(char *src) {
char dest[256];
strcpy(dest, "Result: ");
strncat(dest, src, sizeof dest); // Sensitive: passing the buffer size instead of the remaining size
return doSomethingWith(dest);
}
Compliant Solution
int f(char *src) {
char result[] = "Result: ";
char dest[256];
strcpy(dest, result);
strncat(dest, src, sizeof dest - sizeof result); // Compliant but may silently truncate
return doSomethingWith(dest);
}
See